#include <kernel.h>
#include <pa4.h>

/* 
 * Part A 1/4. buf_init()
 * buf_init() is responsible for initializing buffer cache management.
 */
void buf_init(void) 
{
int i;
	
	buf_count = 0;
	buf_head = NULL;
	
//	invalid=getmem(PA4_BUFFER_SIZE*sizeof(int));	
//	invalid2=getmem(PA4_BUFFER_SIZE*sizeof(int));
	
	for(i=0;i<1024;i++)
	{
		invalid[i]=0;
		invalid2[i]=0;	
	}	
	
}

